IsSet (IsNotSet)

Группа: Вспомогательные конструкции

Платформы: t0241

Синтаксис

#: Receive <Alias>
  Имя_события : поколение
    имя_параметра : значение
      [IsSet
        <Имя_типа_Flag.Имя_флага1>
        [<Имя_типа_Flag.Имя_флагаX>]]
      [IsNotSet
        <Имя_типа_Flag.Имя_флагаY1>
        [<Имя_типа_Flag.Имя_флагаYN>]]

Параметры

• IsSet - зарезервированный ключ, проверяющий равенство 1 перечисленных флагов соответствующего параметра.
• IsNotSet - зарезервированный ключ, проверяющий равенство 0 перечисленных флагов соответствующего параметра.
• Имя_типа_Flag - должно содержать имя типа Flag (того же, что и параметр принимаемого события), этот тип указан в соответствующем протоколе.
• Имя_флага - имя конкретного флага(бита), который необходимо проверить на 1 или на 0.

Описание

Проверка установки (снятия) флага

Примеры

Пример №1

06: Receive <Dumb> |Result проверяем приём события с двумя флагами
  Kernel.Tester.Responder.SetResponderMode: 2
    Delay : 0
    DelayMode : <ResponderMode:AutoReset>
    Mode : <AnswerMode.Simple>
    Mutation : *
      IsSet ; Указываем флаги, которые должны быть установлены
        <MutationMode.RandomArgumentMutation> ; 1
      IsNotSet ; Указываем флаги, которые не должны быть установлены
        <MutationMode.RandomMessageKindMutation> ; 2